x86: Support booting a bzImage format domain 0 kernel.
authorKeir Fraser <keir.fraser@citrix.com>
Thu, 22 Jan 2009 18:00:48 +0000 (18:00 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Thu, 22 Jan 2009 18:00:48 +0000 (18:00 +0000)
commite2b1ebf4de503eef701bf122362355ec11af34f3
tree504ff98b3f0a7fcfc8a8c9cbda62e84ba4d48f49
parent85952ca7cefe27cdf13e1c24571d964708b876dc
x86: Support booting a bzImage format domain 0 kernel.

This requires a bzImage v2.08 or later kernel.

xen/common/inflate.c is taken unmodified from Linux v2.6.28.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/x86/Makefile
xen/arch/x86/bzimage.c [new file with mode: 0644]
xen/arch/x86/domain_build.c
xen/arch/x86/setup.c
xen/common/inflate.c [new file with mode: 0644]
xen/include/xen/sched.h